Badany cig symboli jest zdaniem poprawnym, jeeli wychodzc z punktu pocztkowego [~] mona doj do punktu kocowego [~] w ten sposb, e kademu kolejnemu symbolowi badanego cigu odpowiada przejcie odcinka grafu oznaczonego tym samym symbolem, (wielokrotne przechodzenie tego samego odcinka jest dozwolone). Na przykad zdanie [~] jest poprawne, gdy w grafie na rysunku pierwszym istnieje nastpujca droga z [~] do [~]: [&] 